Diseño sistemático de pruebas para consultas XPath utilizando técnicas de partición

Resumen-El lenguaje XML se ha convertido en el estándar para el intercambio y la representación de información entre sistemas basados en web. Dicha información suele estar almacenada en repositorios de datos XML a los que se accede utilizando el estándar XPath como lenguaje de consulta. Sin embargo, las técnicas específicas de prueba para dichos accesos se aplican fundamentalmente a nivel sintáctico, obviando las pruebas funcionales. En este artículo, se presenta una técnica para el diseño sistemático de datos de prueba para consultas XPath basada en una técnica de partición. El método permite la identificación automática de categorías y elecciones a partir de una consulta XPath y de un esquema XML, y la construcción de restricciones para obtener datos de prueba válidos y completos. Se ilustra la técnica mediante la aplicación a un caso práctico.